PEP 742 – Narrowing types with TypeIs
https://peps.python.org/pep-0742/